package javato.cbreakpoints;

import org.junit.Before;
import org.junit.Test;
import static org.junit.Assert.assertTrue;

/**
 * Copyright (c) 2006-2009,
 * Koushik Sen    <ksen@cs.berkeley.edu>
 * All rights reserved.
 * <p/>
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions are
 * met:
 * <p/>
 * 1. Redistributions of source code must retain the above copyright
 * notice, this list of conditions and the following disclaimer.
 * <p/>
 * 2. Redistributions in binary form must reproduce the above copyright
 * notice, this list of conditions and the following disclaimer in the
 * documentation and/or other materials provided with the distribution.
 * <p/>
 * 3. The names of the contributors may not be used to endorse or promote
 * products derived from this software without specific prior written
 * permission.
 * <p/>
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
 * IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
 * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
 * PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER
 * OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
 * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
 * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
 * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */
public class RaceBreakpointTest {
    public static int x = 0;

    @Test
    public void test1() throws InterruptedException {
        x = 0;
        Thread t1 = new Thread() {
            public void run() {
                int t = x;
                (new RaceBreakpoint(RaceBreakpointTest.class, true)).breakHere(true,100);
                x = t + 1;
            }
        };
        Thread t2 = new Thread() {
            public void run() {
                int t = x;
                (new RaceBreakpoint(RaceBreakpointTest.class, true)).breakHere(false,100);
                x = t + 5;
            }
        };
        t1.start();
        t2.start();
        t1.join();
        t2.join();
        System.out.println("x = " + x);
        assertTrue(x==5);
    }

    @Test
    public void test2() throws InterruptedException {
        x = 0;
        Thread t1 = new Thread() {
            public void run() {
                int t = x;
                if(!(new RaceBreakpoint(RaceBreakpointTest.class, true)).breakHere(true,100000)) {
                    assertTrue(false);
                }
                x = t + 1;
            }
        };
        Thread t2 = new Thread() {
            public void run() {
                int t = x;
                if (!(new RaceBreakpoint(RaceBreakpointTest.class, true)).breakHere(false,100000)) {
                    assertTrue(false);                    
                }
                x = t + 5;
            }
        };
        t1.start();
        t2.start();
        t1.join();
        t2.join();
        System.out.println("x = " + x);
        assertTrue(x==5);
    }

    public static void inc() {
        int t = x;
        // must use true when breakpoints are symmetric to avoid delays
        if (!(new RaceBreakpoint(RaceBreakpointTest.class, true)).breakHere(true,100000)) {
            assertTrue(false);            
        }
        x = t+1;
    }

    @Test
    public void test3() throws InterruptedException {
        x = 0;
        Thread t1 = new Thread() {
            public void run() {
                inc();
            }
        };
        Thread t2 = new Thread() {
            public void run() {
                inc();
            }
        };
        t1.start();
        t2.start();
        t1.join();
        t2.join();
        System.out.println("x = " + x);
        assertTrue(x==1);
    }

}
